Toward a rewriting logic framework for safe and distributed component installation
نویسندگان
چکیده
Meriem Belguidoum LIRE Laboratory, Computer Science Department, University Mentouri Constantine, Algeria TELECOM Bretagne, Computer science department Brest, France [email protected] Faiza Belala LIRE Laboratory, Computer Science Department, University Mentouri Constantine, Algeria [email protected] Fateh Latreche LIRE Laboratory, Computer Science Department, University Mentouri Constantine, Algeria fateh [email protected]
منابع مشابه
Toward a Smart Distribution System Expansion Planning by Considering Demand Response Resources
This paper presents a novel concept of "smart distribution system expansion planning (SDEP)" which expands the concept of demand response programs to be dealt with the long term horizon time. The proposed framework, integrates demand response resources (DRRs) as virtual distributed generation (VDG) resources into the distribution expansion planning. The main aim of this paper is to develop and ...
متن کاملExact Query Reformulation with Expressive Ontologies and Databases
We study a general framework for query rewriting in the presence of an arbitrary first-order logic ontology over a database signature. The framework supports deciding the existence of a safe-range first-order equivalent reformulation of a query in terms of the database signature, and if so, it provides an effective approach to construct the reformulation based on interpolation using standard th...
متن کاملExact Query Reformulation over Databases with First-order and Description Logics Ontologies
We study a general framework for query rewriting in the presence of an arbitrary first-order logic ontology over a database signature. The framework supports deciding the existence of a safe-range first-order equivalent reformulation of a query in terms of the database signature, and if so, it provides an effective approach to construct the reformulation based on interpolation using standard th...
متن کاملComingle: Distributed Logic Programming for Decentralized Mobile Ensembles
Comingle is a logic programming framework aimed at simplifying the development of applications distributed over multiple mobile devices. Applications are written as a single declarative program (in a system-centric way) rather than in the traditional node-centric manner, where separate communicating code is written for each participating node. Comingle is based on committed-choice multiset rewr...
متن کاملA component-based Petri net model for specifying and validating cooperative information systems
This paper presents fundamentals of a novel framework adequately tailored for specifying and validating complex information systems as fully distributed, autonomous yet cooperating components. The proposed framework, referred to as CO-NETS, is a multi-paradigm soundly integrating object-oriented (OO) structuring mechanisms, modularity concepts and some constructions from semantical data modelin...
متن کامل